Polarizing Double Negation Translations

Double-negation translations are used to encode and decode classical proofs in intuitionistic logic. We show that, in the cut-free fragment, we can simplify the translations and introduce fewer negations. To achieve this, we consider the polarization of the formul{\ae}{} and adapt those translation to the different connectives and quantifiers. We show that the embedding results still hold, using a customized version of the focused classical sequent calculus. We also prove the latter equivalent to more usual versions of the sequent calculus. This polarization process allows lighter embeddings, and sheds some light on the relationship between intuitionistic and classical connectives

Analyse des délais de prise en charge des cancers thoraciques : étude prospective

RésuméIntroductionLe cancer broncho-pulmonaire est la première cause de décès par cancer en France. Son diagnostic est le plus souvent tardif, alors que le délai entre le début des symptômes et la prise en charge est considéré comme un facteur aggravant.Matériel et méthodesNotre étude prospective a recueilli les différentes dates de prise en charge de 139 patients consécutifs bénéficiant d’un traitement primaire pour un cancer thoracique dans notre hôpital entre novembre 2008 et mai 2009. L’objectif de cette étude était d’évaluer différents délais de prise en charge des patients porteurs d’un cancer thoracique quelle que soit sa prise en charge thérapeutique (médicale ou chirurgicale) et de déterminer la cause de ces délais.RésultatsLe délai médian entre la première imagerie pathologique et le traitement est de 9,6 semaines. Les délais étaient significativement plus courts dans les stades tardifs et les carcinomes à petites cellules (p=0,001). Il existait une tendance à des délais plus courts pour les femmes et des délais plus longs pour les classes d’âge les plus élevées.ConclusionL’évaluation des délais de prise en charge, en particulier pour les stades précoces, s’intègre dans le contrôle de la qualité de prise en charge de ces pathologies.SummaryIntroductionLung cancer is the main cause of cancer death in France. The diagnosis is often late and the delay between the onset of symptoms and management is considered an aggravating factor.Material and methodsOur prospective study collected the dates of the start of management of 139 consecutive patients receiving first line treatment for thoracic cancer in our hospital between November 2008 and May 2009. The aim of this study was to evaluate the delays in medical or surgical treatments in patients with thoracic cancer and to determine the cause of these delays.ResultsThe median delay between the first abnormal chest X-ray and treatment was 9.6 weeks. The delays were significantly shorter in the late stages and in small cell cancer (P=0.001). There was a tendency for shorter delays in women and for longer delays in older patients.ConclusionEvaluation of the delays in treatment, particularly in the early stages, is part of the quality control of management of these diseases

Hepatocytes undergo punctuated expansion dynamics from a periportal stem cell niche in normal human liver

Background & Aims: While normal human liver is thought to be generally quiescent, clonal hepatocyte expansions have been observed, though neither their cellular source nor their expansion dynamics have been determined. Knowing the hepatocyte cell of origin, and their subsequent dynamics and trajectory within the human liver will provide an important basis to understand disease-associated dysregulation. Methods: Herein, we use in vivo lineage tracing and methylation sequence analysis to demonstrate normal human hepatocyte ancestry. We exploit next-generation mitochondrial sequencing to determine hepatocyte clonal expansion dynamics across spatially distinct areas of laser-captured, microdissected, clones, in tandem with computational modelling in morphologically normal human liver. Results: Hepatocyte clones and rare SOX9+ hepatocyte progenitors commonly associate with portal tracts and we present evidence that clones can lineage-trace with cholangiocytes, indicating the presence of a bipotential common ancestor at this niche. Within clones, we demonstrate methylation CpG sequence diversity patterns indicative of periportal not pericentral ancestral origins, indicating a portal to central vein expansion trajectory. Using spatial analysis of mitochondrial DNA variants by next-generation sequencing coupled with mathematical modelling and Bayesian inference across the portal-central axis, we demonstrate that patterns of mitochondrial DNA variants reveal large numbers of spatially restricted mutations in conjunction with limited numbers of clonal mutations. Conclusions: These datasets support the existence of a periportal progenitor niche and indicate that clonal patches exhibit punctuated but slow growth, then quiesce, likely due to acute environmental stimuli. These findings crucially contribute to our understanding of hepatocyte dynamics in the normal human liver. Impact and implications: The liver is mainly composed of hepatocytes, but we know little regarding the source of these cells or how they multiply over time within the disease-free human liver. In this study, we determine a source of new hepatocytes by combining many different lab-based methods and computational predictions to show that hepatocytes share a common cell of origin with bile ducts. Both our experimental and computational data also demonstrate hepatocyte clones are likely to expand in slow waves across the liver in a specific trajectory, but often lie dormant for many years. These data show for the first time the expansion dynamics of hepatocytes in normal liver and their cell of origin enabling the accurate measurment of changes to their dynamics that may lead to liver disease. These findings are important for researchers determining cancer risk in human liver

Molecular and Structural Discrimination of Proline Racemase and Hydroxyproline-2-Epimerase from Nosocomial and Bacterial Pathogens

The first eukaryotic proline racemase (PRAC), isolated from the human Trypanosoma cruzi pathogen, is a validated therapeutic target against Chagas' disease. This essential enzyme is implicated in parasite life cycle and infectivity and its ability to trigger host B-cell nonspecific hypergammaglobulinemia contributes to parasite evasion and persistence. Using previously identified PRAC signatures and data mining we present the identification and characterization of a novel PRAC and five hydroxyproline epimerases (HyPRE) from pathogenic bacteria. Single-mutation of key HyPRE catalytic cysteine abrogates enzymatic activity supporting the presence of two reaction centers per homodimer. Furthermore, evidences are provided that Brucella abortus PrpA [for ‘proline racemase’ virulence factor A] and homologous proteins from two Brucella spp are bona fide HyPREs and not ‘one way’ directional PRACs as described elsewhere. Although the mechanisms of aminoacid racemization and epimerization are conserved between PRAC and HyPRE, our studies demonstrate that substrate accessibility and specificity partly rely on contraints imposed by aromatic or aliphatic residues distinctively belonging to the catalytic pockets. Analysis of PRAC and HyPRE sequences along with reaction center structural data disclose additional valuable elements for in silico discrimination of the enzymes. Furthermore, similarly to PRAC, the lymphocyte mitogenicity displayed by HyPREs is discussed in the context of bacterial metabolism and pathogenesis. Considering tissue specificity and tropism of infectious pathogens, it would not be surprising if upon infection PRAC and HyPRE play important roles in the regulation of the intracellular and extracellular amino acid pool profiting the microrganism with precursors and enzymatic pathways of the host

Epigenome-wide association study of kidney function identifies trans-ethnic and ethnic-specific loci

Background DNA methylation (DNAm) is associated with gene regulation and estimated glomerular filtration rate (eGFR), a measure of kidney function. Decreased eGFR is more common among US Hispanics and African Americans. The causes for this are poorly understood. We aimed to identify trans-ethnic and ethnic-specific differentially methylated positions (DMPs) associated with eGFR using an agnostic, genome-wide approach. Methods The study included up to 5428 participants from multi-ethnic studies for discovery and 8109 participants for replication. We tested the associations between whole blood DNAm and eGFR using beta values from Illumina 450K or EPIC arrays. Ethnicity-stratified analyses were performed using linear mixed models adjusting for age, sex, smoking, and study-specific and technical variables. Summary results were meta-analyzed within and across ethnicities. Findings were assessed using integrative epigenomics methods and pathway analyses. Results We identified 93 DMPs associated with eGFR at an FDR of 0.05 and replicated 13 and 1 DMPs across independent samples in trans-ethnic and African American meta-analyses, respectively. The study also validated 6 previously published DMPs. Identified DMPs showed significant overlap enrichment with DNase I hypersensitive sites in kidney tissue, sites associated with the expression of proximal genes, and transcription factor motifs and pathways associated with kidney tissue and kidney development. Conclusions We uncovered trans-ethnic and ethnic-specific DMPs associated with eGFR, including DMPs enriched in regulatory elements in kidney tissue and pathways related to kidney development. These findings shed light on epigenetic mechanisms associated with kidney function, bridging the gap between population-specific eGFR-associated DNAm and tissue-specific regulatory context